Independence Results in Computer Science?
نویسندگان
چکیده
+'-1bl~-~~)~~-~~nlcinll minor corr(!clion~. changc!! and revisions to n prelimlnary IIlmrion which appcilrcd In the Proc. or the 12lh Annual ACM Symposium on the Theory of Compulirl,g (!.lilY 19110). P,lrl of the work reported here will appear in the first author's 1981 doctoral <Ij!i!lcrL"Lion to he wriUen nt Purdue Univr.rl1iLy under the direction of the second author.
منابع مشابه
On independence-friendly fixpoint logics
We introduce a fixpoint extension of Hintikka and Sandu’s IF (independence-friendly) logic. We obtain some results on its complexity and expressive power. We relate it to parity games of imperfect information, and show its application to defining independence-friendly modal mu-calculi. Philosophia Scientiæ, 8 (2), 2004, 125–144.
متن کاملON AN INDEPENDENT RESULT USING ORDER STATISTICS AND THEIR CONCOMITANT
Let X1;X2;...;Xn have a jointly multivariate exchangeable normal distribution. In this work we investigate another proof of the independence of X and S2 using order statistics. We also assume that (Xi ; Yi); i =1; 2;...; n; jointly distributed in bivariate normal and establish the independence of the mean and the variance of concomitants of order statistics.
متن کاملDIMENSION OF FUZZY HYPERVECTOR SPACES
In this paper we investigate the algebraic properties of dimension of fuzzy hypervector spaces. Also, we prove that two isomorphic fuzzy hypervector spaces have the same dimension.
متن کاملImproving the Reliability of Causal Discovery from Small Data Sets using the Argumentation Framework
We address the problem of reliability of independence-based causal discovery algorithms that results from unreliable statistical independence tests. We model the problem as a knowledge base containing a set of independences that are related through the well-known Pearl's axioms. Statistical tests on finite data sets may result in errors in these tests and inconsistencies in the knowledge base. ...
متن کاملSchema-Based Independence Analysis for XML Updates
Query-update independence analysis is the problem of determining whether an update affects the results of a query. Query-update independence is useful for avoiding recomputation of materialized views and for checking for interference among concurrent queries and updates. This paper develops static analysis techniques for query-update independence problems involving core XQuery queries and updat...
متن کاملOn the Relationship between Central Bank’s Independence and Inflation Rate in Iran
The purpose of present paper was to examine the relationship between central bank independence and inflation rate in Iran over 1960-2008. First, central bank independence has been accomplished through three indices including legal and real CBI indices and turnover rate of central bank governor index. Then, Augmented Dickey-Fuller test for model stationary of variables has been done by applying ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 23 شماره
صفحات -
تاریخ انتشار 1981